YAKINDU Statechart Tools
YAKINDU Statechart Tools (YAKINDU SCT) ist ein Werkzeug zur Spezifikation und Entwicklung reaktiver, ereignisgesteuerter Systeme mit Hilfe von Zustandsautomaten. Es besteht aus einem leicht zu bedienenden Werkzeug zum graphischen Editieren von Zustandsdiagrammen (Statecharts) und bietet Validierung und Simulation sowie Quellcode-Generatoren für verschiedene Zielplattformen und Programmiersprachen.